\documentclass[12pt,a4paper]{uebung}

\usepackage[british]{babel}
\usepackage{epsfig}
\usepackage{rotate}
\usepackage{amsmath}
\usepackage{color}
\makeatletter\let\@amsfonts=P\makeatother
\usepackage{graphicx}
\usepackage{typearea}
\usepackage{multicol}
\usepackage{amsfonts}
\usepackage[nounderscore]{syntax}
\usepackage{paralist}
\usepackage{tikz}
\usetikzlibrary{shapes,snakes}
\usepackage{url}
\usepackage{xspace}
%\usepackage{bbm}
\usepackage{listings}
%\usepackage{MnSymbol}
\usepackage[ruled]{algorithm2e}
\def\NN{{\ensuremath{\mathbbm{N}_0\xspace}}}
\usepackage{fvsw}
\usepackage{tabularx}

\setlength{\textheight}{25cm}

\begin{document}

\newcommand{\Vorlesung}{Formal Methods in Computer Science}
\newcommand{\Semester}{SS 2012}
\newcommand{\Prof}{Univ.~Prof.~Helmut Veith}
\newcommand{\AssisA}{Dr. Igor Konnov}
\newcommand{\AssisB}{Dr. Florian Zuleger}
\newcommand{\AssisC}{Andreas Holzer, M.Sc.}
\newcommand{\AssisD}{Moritz Sinn, M.Sc.}


%\newcommand{\AssisC}{Dipl.-Math. Florian Zuleger}

%\newcommand{\solution}[1]{
%\paragraph{Solution:} #1
%}
\newcommand{\solution}[1]{}

\newcommand\ltlX{\textsf{\textbf{X}}\,}
\newcommand\ltlF{\textsf{\textbf{F}}\,}
\newcommand\ltlG{\textsf{\textbf{G}}\,}
\newcommand\ltlU{\,\textsf{\textbf{U}}\,}
\newcommand\ILTLX[0]{$\mbox{\textsf{ILTL}}_{\mbox{\textsf{-X}}}$}
\newcommand\LTLX[0]{$\mbox{\textsf{LTL}}_{\mbox{\textsf{-X}}}$}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\Uebungsblatt{4}{Wednesday, 30 May 2012}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\setlength{\unitlength}{1mm}
{\hfill Version: 4 / 13062012\\}
\begin{tabularx}{\textwidth}{|l|X|}
\hline
\textbf{Name:}& Prevedel \\\hline
\textbf{Vorname:}& Thomas \\\hline
\textbf{Matr.-nr.:}& 0627595 \\\hline
\textbf{Gruppe:}& Prevedel (0627595), Tomsu (0803543), Sobotka (0826407)  \\\hline
\end{tabularx}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Aufgabe

\begin{center}
\textbf{The deadline for handing in the solution is Sunday, 17th of June, before midnight.}
\end{center}

\input{actl_ltl}
\newpage
\input{LTL}
\newpage
\input{simulation}
\newpage
\input{prog_simulation}
\newpage
\input{predicate_abstraction}
\newpage
\input{cbmc}
\newpage
\input{bisim}
\newpage
%\input{ltl_fo}
%\newpage



\end{document}

